火范文>英语词典>Kleene's theorem on fixpoint翻译和用法